Varieties of Mathematics in Economics- A Partial View

Real analysis, founded on the Zermelo-Fraenkel axioms, buttressed by the axiom of choice, is the dominant variety of mathematics utilized in the formalization of economic theory. The accident of history that led to this dominance is not inevitable, especially in an age when the digital computer seems to be ubiquitous in research, teaching and learning. At least three other varieties of mathematics, each underpinned by its own mathematical logic, have come to be used in the formalization of mathematics in more recent years. To set theory, model theory, proof theory and recursion theory correspond, roughly speaking, real analysis, non-standard analysis, constructive analysis and computable analysis. These other varieties, we claim, are more consistent with the intrinsic nature and ontology of economic concepts. In this paper we discuss aspects of the way real analysis dominates the mathematical formalization of economic theory and the prospects for overcoming this dominance.

Filtering for networked stochastic time-delay systems with sector nonlinearity

Copyright [2009] IEEE. This material is posted here with permission of the IEEE. Such permission of the IEEE does not in any way imply IEEE endorsement of any of Brunel University's products or services. Internal or personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution must be obtained from the IEEE by writing to [email protected]. By choosing to view this document, you agree to all provisions of the copyright laws protecting it.This paper is concerned with the filtering problem for a class of discrete-time stochastic nonlinear networked control systems with network-induced incomplete measurements. The incomplete measurements include both the multiple random communication delays and random packet losses, which are modeled by a unified stochastic expression in terms of a set of indicator functions that is dependent on certain stochastic variable. The nonlinear functions are assumed to satisfy the sector nonlinearities. The purpose of the addressed filtering problem is to design a linear filter such that the filtering-error dynamics is exponentially mean-square stable. By using the linear-matrix-inequality (LMI) method and delay-dependent technique, sufficient conditions are derived which are dependent on the occurrence probability of both the random communication delays and missing measurement. The filter gain is then characterized by the solution to a set of LMIs. A simulation example is exploited to demonstrate the effectiveness of the proposed design procedures

On nonlinear H∞ filtering for discrete-time stochastic systems with missing measurements

Copyright [2008] IEEE. This material is posted here with permission of the IEEE. Such permission of the IEEE does not in any way imply IEEE endorsement of any of Brunel University's products or services. Internal or personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution must be obtained from the IEEE by writing to [email protected]. By choosing to view this document, you agree to all provisions of the copyright laws protecting it.In this paper, the H∞ filtering problem is investigated for a general class of nonlinear discrete-time stochastic systems with missing measurements. The system under study is not only corrupted by state-dependent white noises but also disturbed by exogenous inputs. The measurement output contains randomly missing data that is modeled by a Bernoulli distributed white sequence with a known conditional probability. A filter of very general form is first designed such that the filtering process is stochastically stable and the filtering error satisfies H infin performance constraint for all admissible missing observations and nonzero exogenous disturbances under the zero-initial condition. The existence conditions of the desired filter are described in terms of a second-order nonlinear inequality. Such an inequality can be decoupled into some auxiliary ones that can be solved independently by taking special form of the Lyapunov functionals. As a consequence, a linear time-invariant filter design problem is discussed for the benefit of practical applications, and some simplified conditions are obtained. Finally, two numerical simulation examples are given to illustrate the main results of this paper

Quantized H-Infinity control for nonlinear stochastic time-delay systems with missing measurements

This is the post-print version of the Article. The official published version can be accessed from the link below - Copyright @ 2012 IEEEIn this paper, the quantized H∞ control problem is investigated for a class of nonlinear stochastic time-delay network-based systems with probabilistic data missing. A nonlinear stochastic system with state delays is employed to model the networked control systems where the measured output and the input signals are quantized by two logarithmic quantizers, respectively. Moreover, the data missing phenomena are modeled by introducing a diagonal matrix composed of Bernoulli distributed stochastic variables taking values of 1 and 0, which describes that the data from different sensors may be lost with different missing probabilities. Subsequently, a sufficient condition is first derived in virtue of the method of sector-bounded uncertainties, which guarantees that the closed-loop system is stochastically stable and the controlled output satisfies H∞ performance constraint for all nonzero exogenous disturbances under the zero-initial condition. Then, the sufficient condition is decoupled into some inequalities for the convenience of practical verification. Based on that, quantized H∞ controllers are designed successfully for some special classes of nonlinear stochastic time-delay systems by using Matlab linear matrix inequality toolbox. Finally, a numerical simulation example is exploited to show the effectiveness and applicability of the results derived.This work was supported in part by the Engineering and Physical Sciences Research Council (EPSRC) of the U.K. under Grant GR/S27658/01, the Leverhulme Trust of the U.K., the Royal Society of the U.K., the National Natural Science Foundation of China under Grants 61028008, 61134009, 61104125, 60974030, and 61074016, and the Alexander von Humboldt Foundation of Germany

Explorations of the Top Quark Forward-Backward Asymmetry at the Tevatron

We consider the recent measurement of the top quark forward-backward asymmetry at the Fermilab Tevatron, which shows a discrepancy of slightly more than 2$\sigma$ compared to the SM prediction. We find that $t$-channel exchange of a color sextet or triplet scalar particle can explain the measurement, while leaving the cross section for $t \bar{t}$ production within measured uncertainties. Such particles have good discovery prospects by study of the kinematic structure of $t \bar{t}$+jets at the LHC.Comment: 14 pages, 10 figures, 1 tabl

Robust filtering for gene expression time series data with variance constraints

This is the post print version of the article. The official published version can be obtained from the link below - Copyright 2007 Taylor & Francis Ltd.In this paper, an uncertain discrete-time stochastic system is employed to represent a model for gene regulatory networks from time series data. A robust variance-constrained filtering problem is investigated for a gene expression model with stochastic disturbances and norm-bounded parameter uncertainties, where the stochastic perturbation is in the form of a scalar Gaussian white noise with constant variance and the parameter uncertainties enter both the system matrix and the output matrix. The purpose of the addressed robust filtering problem is to design a linear filter such that, for the admissible bounded uncertainties, the filtering error system is Schur stable and the individual error variance is less than a prespecified upper bound. By using the linear matrix inequality (LMI) technique, sufficient conditions are first derived for ensuring the desired filtering performance for the gene expression model. Then the filter gain is characterized in terms of the solution to a set of LMIs, which can easily be solved by using available software packages. A simulation example is exploited for a gene expression model in order to demonstrate the effectiveness of the proposed design procedures.This work was supported in part by the Engineering and Physical Sciences Research Council (EPSRC) of the UK under Grants GR/S27658/01 and EP/C524586/1, the Biotechnology and Biological Sciences Research Council (BBSRC) of the UK under Grants BB/C506264/1 and 100/EGM17735, the Nuffield Foundation of the UK under Grant NAL/00630/G, and the Alexander von Humboldt Foundation of Germany

Experimental study on transcritical Rankine cycle (TRC) using CO2/R134a mixtures with various composition ratios for waste heat recovery from diesel engines

A carbon dioxide (CO2) based mixture was investigated as a promising solution to improve system performance and expand the condensation temperature range of a CO2 transcritical Rankine cycle (C-TRC). An experimental study of TRC using CO2/R134a mixtures was performed to recover waste heat of engine coolant and exhaust gas from a heavy-duty diesel engine. The main purpose of this study was to investigate experimentally the effect of the composition ratio of CO2/R134a mixtures on system performance. Four CO2/R134a mixtures with mass composition ratios of 0.85/0.15, 0.7/0.3, 0.6/0.4 and 0.4/0.6 were selected. The high temperature working fluid was expanded through an expansion valve and then no power was produced. Thus, current research focused on the analysis of measured operating parameters and heat exchanger performance. Heat transfer coefficients of various heat exchangers using supercritical CO2/R134a mixtures were provided and discussed. These data may provide useful reference for cycle optimization and heat exchanger design in application of CO2 mixtures. Finally, the potential of power output was estimated numerically. Assuming an expander efficiency of 0.7, the maximum estimations of net power output using CO2/R134a (0.85/0.15), CO2/R134a (0.7/0.3), CO2/R134a (0.6/0.4) and CO2/R134a (0.4/0.6) are 5.07 kW, 5.45 kW, 5.30 kW, and 4.41 kW, respectively. Along with the increase of R134a composition, the estimation of net power output, thermal efficiency and exergy efficiency increased at first and then decreased. CO2/R134a (0.7/0.3) achieved the maximum net power output at a high expansion inlet pressure, while CO2/R134a (0.6/0.4) behaves better at low pressure

Associated production of a neutral top-Higgs with a heavy-quark pair in the \gamma\gamma collisions at ILC

We have studied the associated production processes of a neutral top-Higgs in the topcolor assisted technicolor model with a pair of heavy quarks in \gamma\gamma collisions at the International Linear Collider (ILC). We find that the cross section for t\bar{t}h_t in \gamma\gamma collisions is at the level of a few fb with the c.m. energy \sqrt{s}=1000 GeV, which is consistent with the results of the cross section of t\bar{t}H in the standard model and the cross section of t\bar{t}h in the minimal supersymmetric standard modeland the little Higgs models. It should be distinct that hundreds of to thousands of h_t per year can be produced at the ILC, this process of \gamma\gamma \to t\bar{t}h_t is really interesting in testing the standard model and searching the signs of technicolor.Comment: 4 pages, 4 figures, some references are adde